@INPROCEEDINGS{SrivatanakulCSP03, author = {Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack}, title = {Challenging Formal Specifications by Mutation: a CSP Security Example}, booktitle = {Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)}, year = {2003}, address = {Chiang Mai, Thailand}, month = {10-12 December}, pages = {340–350} }